541. Theoretical aspects of computing -- ICTAC 2018 :
Author: Bernd Fischer, Tarmo Uustalu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
L63
542. Three views of logic
Author: Donald W. Loveland, Richard E. Hodel, S.G. Sterrett
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic,Logic, Symbolic and mathematical
543. Truth, deduction, and computation
Author: / R.E. Davis
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Programming languages (Electronic computers)- Semantics,Logic, Symbolic and mathematical,Electronic data processing
Classification :
QA76
.
7
.
D386
1989
544. Typed Lambda Calculi and Applications :
Author: edited by Marc Bezem, Jan Friso Groote.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Logic, Symbolic and mathematical.
545. Uncertainty Analysis in Engineering and Sciences: Fuzzy Logic, Statistics, and Neural Network Approach
Author: by Bilal M. Ayyub, Madan M. Gupta.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.,Mathematical optimization.,Operations research.
546. Vivid logic
Author: / Gerd Wagner
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Expert systems (Computer science),Logic, Symbolic and mathematical.
Classification :
QA
,
76
.
76
,.
E95
,
W33
,
1994
547. Vivid logic :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Expert systems (Computer science) ; Logic, Symbolic and mathematical. ;
548. Vivid logic : knowledge-based reasoning with two kinds of negation
Author: Wagner, Gerd, 7591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
764
549. What is a logical system?
Author: edited by D.M. Gabbay
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical,، Computer science
Classification :
QA
9
.
2
.
W48
1994
551. Nonclassical logics and information processing : international workshop, Berlin , November 9-10, 1990 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Artificial intelligence-- Congresses
Classification :
QA
76
.
5
.
N664
1992
552. programs-as-Adapting proofs
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Howard isomorphism. ; Proof theory. ; Logic, Symbolic and mathematical. ; Functional programming (Computer science) ; Lambda calculus. ; Abstract data types (Computer science) ; -Curry
553. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
Author: edited by W. Bibel and R. Kowalski
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L4
v
.
87
554. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
Author: edited by W. Bibel and R. Kowalski
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
87
555. 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982
Author: / edited by D.W. Loveland
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
76
.
9
,.
A96
,
C66
,
1982
556. 9th International Conference on Automated Deduction :
Author: E. Lusk, R. Overbeek (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving-- Congresses.,Logic, Symbolic and mathematical-- Congresses.
Classification :
QA76
.
9
.
A96
I57
1988
557. 8th International Conference on Automated Deduction :
Author: edited by Jörg H. Siekmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving -- Congresses.,Automatic theorem proving.,Logic, Symbolic and mathematical -- Congresses.
558. 8th International Conference on Automated Deduction
Author: edited by Jپ rg H. Siekmann
Library: Vali Asr University Central Library (Kerman)
Subject: Automatic theorem proving -- Congresses,Logic, Symbolic and mathematical -- Congresses
Classification :
QA
76
.
9
.
A96
,
I57
1986
559. 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988: Proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
QA
76
.
9
.
A96
.
I57
1988
560. 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, proceedings
Author: E. Lusk, R. Overbeek )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
310
